1. Arithmetic, Proof theory and computational complexity
پدیدآورنده : edited by Peter Clote and Jan Krajicek
کتابخانه: (طهران)
موضوع : ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
2. Bounded arithmetic, propositional logic, and complexity theory
پدیدآورنده : Krajicek, Jan
کتابخانه: (طهران)
موضوع : ، Constructive mathematics,، Proposition )Logic(,، Computational complexity
رده :
QA
9
.
56
.
K7
3. Forcing with random variables and proof complexity
پدیدآورنده : Krajicek, Jan
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Random variables,، Mathematical analysis
رده :
QA
267
.
7
.
K72F6
